Abstract syntax - PDFSEARCH.IO - Document Search Engine

Abstract syntax
Results: 599

#	Item
531	Microsoft PowerPoint - Prague.pptx [Read-Only] Add to Reading List Source URL: www.oss.com Language: English - Date: 2011-06-09 07:15:48 Information Encoding Control Notation Basic Encoding Rules Abstract Syntax Notation One Computing Data
532	Overview of the Octet Encoding Rules (OER) Alessandro Triglia, OSS Nokalva September 2013 Add to Reading List Source URL: www.oss.com Language: English - Date: 2013-10-18 09:42:00 Basic Encoding Rules Octet Abstract Syntax Notation One Integer Power of two Variable-length quantity Encoding Control Notation Computing Numbers Data types
533	Variations on the Palauan Theme Justin Nuger University of California, Santa Cruz Abstract This paper explores the syntax of theme arguments in Palauan. Palauan’s passive construction is examined first, arguing that a Add to Reading List Source URL: ju-st.in Language: English - Date: 2010-02-23 06:07:34 Malayo-Polynesian languages Palauan language English passive voice Voice Subject Intransitive verb Passive voice Relative clause Verb argument Linguistics Syntax Parts of speech
534	The Case of Objects Justin Nuger University of California, Santa Cruz Abstract The role of direct objects in computing the predicative aspect of telicity has been the subject of Add to Reading List Source URL: ju-st.in Language: English - Date: 2010-02-23 06:07:34 Palauan language Verb Auxiliary verb Grammatical aspect Pro-drop language Tense–aspect–mood Object Linguistics Grammar Syntax
535	Goo Implementation Jonathan Bachrach MIT AI Lab Outline • Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2002-03-19 14:05:02 Functional languages Lisp programming language Interpreter Programming language implementation Eval Abstract syntax tree Lisp Aspartate transaminase Computing Software engineering Computer programming
536	An assessment of the validity of Bernstein’s linguistics in the ‘Unanswered Question’ (1973) and the boundaries of his ‘quasi-scientific’ approach Abstract Add to Reading List Source URL: www.shiryrashkovsky.com Language: English - Date: 2014-01-29 17:06:48 Academia Noam Chomsky Grammar Language Aspects of the Theory of Syntax Generative grammar Syntactic Structures Transformational grammar Linguistic competence Linguistics Generative linguistics Science
537	XML Security Time Stamping Protocol Axelle Apvrille Vincent Girier Storage Technology European Operations 1 Rd Point G´en´eral Eisenhower[removed]Toulouse, France Axelle Apvrille,Vincent Girier @storagetek.com Add to Reading List Source URL: xml.coverpages.org Language: English - Date: 2002-12-13 12:02:37 Cryptography standards Cryptographic protocols XML XML Signature Abstract Syntax Notation One Time stamp protocol Digital signature XAdES Trusted timestamping Computing Cryptography Information
538	DIAGRAM REWRITING AND OPERADS by Yves Lafont Abstract. — We give a survey of a diagrammatic syntax for PROs and PROPs, which are related to the theory of operads and bialgebras. Using diagram rewriting, Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2010-02-10 09:08:50 Physics Mathematics Linear temporal logic Μ operator Symbol Operad theory Canonical commutation relation
539	Logic without Model Theory Robert Kowalski Abstract Arguably, model theory serves two main functions: (1) to explain the relationship between language and experience, and (2) to specify the notion of logical consequence. Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-02-14 05:21:07 Semantics Logical syntax Meaning Entailment Interpretation Truth Model theory Modal logic Atomic sentence Logic Philosophical logic Philosophy of language
540	Computational Logic in an Object-Oriented World Robert Kowalski Imperial College London [removed] Abstract Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-06-07 11:54:52 Logical syntax Propositional calculus Philosophical logic Logic programming Abductive logic programming Semantics Knowledge representation and reasoning Object Programming language Logic Programming paradigms Grammar

UPDATE